Skip to content

Minor style fixes#314

Merged
trevilo merged 1 commit intomainfrom
style-fixes
Sep 25, 2025
Merged

Minor style fixes#314
trevilo merged 1 commit intomainfrom
style-fixes

Conversation

@trevilo
Copy link
Contributor

@trevilo trevilo commented Sep 24, 2025

This commit includes minor style fixes that do not cause the make style check to fail but are applied by make enforcestyle. Applying them all at once here makes it easier to use make enforcestyle without introducing extraneous changes in other commits and PRs.

This commit includes style fixes that do not cause the `make style`
check to fail but are applied by `make enforcestyle`.  Applying them
all at once here makes it easier to use `make enforcestyle` without
introducing extraneous changes in other commits.
@trevilo trevilo self-assigned this Sep 24, 2025
@trevilo trevilo merged commit 6ef1e91 into main Sep 25, 2025
26 of 27 checks passed
@trevilo trevilo deleted the style-fixes branch September 25, 2025 22:48
trevilo added a commit that referenced this pull request Dec 15, 2025
This commit includes style fixes that do not cause the `make style`
check to fail but are applied by `make enforcestyle`.  Applying them
all at once here makes it easier to use `make enforcestyle` without
introducing extraneous changes in other commits.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant